\relax 
\providecommand\hyper@newdestlabel[2]{}
\catcode `"\active 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{abnt-url-package=url}
\select@language{brazilian}
\@writefile{toc}{\select@language{brazilian}}
\@writefile{lof}{\select@language{brazilian}}
\@writefile{lot}{\select@language{brazilian}}
\@writefile{lof}{\addvspace {0\p@ }}
\@writefile{lot}{\addvspace {0\p@ }}
\select@language{brazilian}
\@writefile{toc}{\select@language{brazilian}}
\@writefile{lof}{\select@language{brazilian}}
\@writefile{lot}{\select@language{brazilian}}
\@writefile{lof}{\addvspace {0\p@ }}
\@writefile{lot}{\addvspace {0\p@ }}
\select@language{brazilian}
\@writefile{toc}{\select@language{brazilian}}
\@writefile{lof}{\select@language{brazilian}}
\@writefile{lot}{\select@language{brazilian}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\@writefile{lof}{\addvspace {0\p@ }}
\@writefile{lot}{\addvspace {0\p@ }}
\select@language{brazilian}
\@writefile{toc}{\select@language{brazilian}}
\@writefile{lof}{\select@language{brazilian}}
\@writefile{lot}{\select@language{brazilian}}
\@writefile{lof}{\addvspace {0\p@ }}
\@writefile{lot}{\addvspace {0\p@ }}
\@input{capitulos-a/chapter00.aux}
\@input{capitulos-a/chapter01.aux}
\@input{capitulos-a/chapter02.aux}
\bibdata{abntex2-options,referencias-a/biblio}
\bibcite{Boolos1998c}{Boolos 1998}
\bibciteEXPL{Boolos1998c}{Boolos}
\bibciteIMPL{Boolos1998c}{BOOLOS}
\bibciteYEAR{Boolos1998c}{1998}
\bibcite{Demopoulos1995}{Demopoulos 1995a}
\bibciteEXPL{Demopoulos1995}{Demopoulos}
\bibciteIMPL{Demopoulos1995}{DEMOPOULOS}
\bibciteYEAR{Demopoulos1995}{1995a}
\bibcite{Demopoulos1995a}{Demopoulos 1995b}
\bibciteEXPL{Demopoulos1995a}{Demopoulos}
\bibciteIMPL{Demopoulos1995a}{DEMOPOULOS}
\bibciteYEAR{Demopoulos1995a}{1995b}
\bibcite{Frege1962}{Frege 1962}
\bibciteEXPL{Frege1962}{Frege}
\bibciteIMPL{Frege1962}{FREGE}
\bibciteYEAR{Frege1962}{1962}
\bibcite{Frege1988}{Frege 1988}
\bibciteEXPL{Frege1988}{Frege}
\bibciteIMPL{Frege1988}{FREGE}
\bibciteYEAR{Frege1988}{1988}
\bibcite{Frege1998}{Frege 1998}
\bibciteEXPL{Frege1998}{Frege}
\bibciteIMPL{Frege1998}{FREGE}
\bibciteYEAR{Frege1998}{1998}
\@writefile{toc}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}~Refer{\^e}ncias bibliogr{\'a}ficas}{5}{chapter.4}}
\@writefile{toc}{\addvspace {10\p@ }}
\@writefile{lof}{\addvspace {0\p@ }}
\@writefile{lot}{\addvspace {0\p@ }}
\@writefile{toc}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}~Ap{\^e}ndice}{6}{section*.5}}
\@writefile{toc}{\addvspace {10\p@ }}
\@input{capitulos-a/apendicea.aux}
\newlabel{LastPage}{{}{7}{}{page.7}{}}
\xdef\lastpage@lastpage{7}
\xdef\lastpage@lastpageHy{7}
\bibstyle{abntex2-alf}
